d | ρ | Label | ID | ||
---|---|---|---|---|---|
SD16xC33 | 216 | SD16xC3^3 | 432,518 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C32xSD16):C3 = SD16xHe3 | φ: C3/C1 → C3 ⊆ Out C32xSD16 | 72 | 6 | (C3^2xSD16):C3 | 432,219 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C32xSD16).C3 = SD16x3- 1+2 | φ: C3/C1 → C3 ⊆ Out C32xSD16 | 72 | 6 | (C3^2xSD16).C3 | 432,220 |
(C32xSD16).2C3 = SD16xC3xC9 | φ: trivial image | 216 | (C3^2xSD16).2C3 | 432,218 |